Intersections of algebraically closed fields
نویسندگان
چکیده
منابع مشابه
Deenability of Geometric Properties in Algebraically Closed Fields Deenability of Geometric Properties in Algebraically Closed Fields Deenability of Geometric Properties in Algebraically Closed Fields
We prove that there exists no sentence F of the language of rings with an extra binary predicat I satisfying the following property for every de nable set X C X is connected if and only if C X j F where I is interpreted by X We conjecture that the same result holds for the closed subsets of C We prove some results motivated by this conjecture
متن کاملImaginaries in pairs of algebraically closed fields
We consider the theory (ACFp)P of pairs F < K of algebraically closed fields of a given characteristic p. We exhibit a collection of additional sorts in which this theory has geometric elimination of imaginaries. The sorts are essentially of the form ∪a∈B(F )Va(K)/Ga(F ), where G, V,B are varieties over the prime field G a group scheme over B and V is a scheme over B (both with irreducible fibr...
متن کاملOn Pseudo Algebraically Closed Extensions of Fields
The notion of ‘Pseudo Algebraically Closed (PAC) extensions’ is a generalization of the classical notion of PAC fields. In this work we develop a basic machinery to study PAC extensions. This machinery is based on a generalization of embedding problems to field extensions. The main goal is to prove that the Galois closure of any proper separable algebraic PAC extension is its separable closure....
متن کاملIntersections of Real Closed Fields
1. In this paper we wish to study fields which can be written as intersections of real closed fields. Several more restrictive classes of fields have received careful study (real closed fields by Artin and Schreier, hereditarily euclidean fields by Prestel and Ziegler [8], hereditarily Pythagorean fields by Becker [1]), with this more general class of fields sometimes mentioned in passing. We s...
متن کاملImaginaries in algebraically closed valued fields
These notes are intended to accompany the tutorial series ‘Model theory of algebraically closed valued fields’ in the Workshop ‘An introduction to recent applications of model theory’, Cambridge March 29–April 8, 2005. They do not contain any new results, except for a slightly new method of exposition, due to Lippel, of parts of the proof of elimination of imaginaries, in Sections 8 and 9. They...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1986
ISSN: 0168-0072
DOI: 10.1016/0168-0072(86)90001-1